[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 67 57 58 54 0 181 60

N.S.

1 1.00 1.56 1.33 1.35 1.26 0.00 4.21 1.40

time (sec)

N/A 0.022 0.013 0.049 0.253 0.326 0.000 0.424 0.957

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 42 39 37 50 0 188 52

N.S.

1 1.00 1.14 1.05 1.00 1.35 0.00 5.08 1.41

time (sec)

N/A 0.016 0.009 0.025 0.254 0.355 0.000 0.436 0.780

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 28 92 0 0 0 0 -1

N.S.

1 1.00 0.93 3.07 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.025 0.013 0.042 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 45 49 41 55 0 51 55

N.S.

1 1.00 1.12 1.22 1.02 1.38 0.00 1.28 1.38

time (sec)

N/A 0.019 0.011 0.034 0.269 0.336 0.000 0.418 0.853

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

41 41 65 55 51 49 0 67 52

N.S.

1 1.00 1.59 1.34 1.24 1.20 0.00 1.63 1.27

time (sec)

N/A 0.021 0.010 0.041 0.254 0.342 0.000 0.422 1.022

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 61 63 51 65 0 65 67

N.S.

1 1.00 1.09 1.12 0.91 1.16 0.00 1.16 1.20

time (sec)

N/A 0.027 0.012 0.039 0.261 0.353 0.000 0.419 0.901

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 196 184 162 981 0 207 125

N.S.

1 1.00 1.13 1.06 0.93 5.64 0.00 1.19 0.72

time (sec)

N/A 0.159 0.031 0.040 0.466 0.405 0.000 0.470 1.574

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

101 101 136 99 90 260 0 109 107

N.S.

1 1.00 1.35 0.98 0.89 2.57 0.00 1.08 1.06

time (sec)

N/A 0.068 0.030 0.029 0.457 0.389 0.000 0.415 2.757

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 187 159 155 228 0 165 118

N.S.

1 1.00 1.13 0.96 0.94 1.38 0.00 1.00 0.72

time (sec)

N/A 0.140 0.039 0.042 0.461 0.412 0.000 0.446 1.470

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

115 115 196 172 100 151 0 125 135

N.S.

1 1.00 1.70 1.50 0.87 1.31 0.00 1.09 1.17

time (sec)

N/A 0.065 0.038 0.049 0.465 0.366 0.000 0.435 3.119

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

176 176 198 186 164 248 0 208 127

N.S.

1 1.00 1.12 1.06 0.93 1.41 0.00 1.18 0.72

time (sec)

N/A 0.201 0.023 0.063 0.468 0.361 0.000 0.476 1.259

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 198 114 103 166 0 126 124

N.S.

1 1.00 1.69 0.97 0.88 1.42 0.00 1.08 1.06

time (sec)

N/A 0.065 0.021 0.029 0.463 0.367 0.000 0.423 2.438

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

165 165 187 177 155 238 0 179 118

N.S.

1 1.00 1.13 1.07 0.94 1.44 0.00 1.08 0.72

time (sec)

N/A 0.173 0.018 0.034 0.455 0.342 0.000 0.509 1.248

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 183 105 94 117 0 106 117

N.S.

1 1.00 1.76 1.01 0.90 1.12 0.00 1.02 1.12

time (sec)

N/A 0.056 0.021 0.035 0.472 0.363 0.000 0.423 2.387

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

174 174 196 172 160 196 0 187 125

N.S.

1 1.00 1.13 0.99 0.92 1.13 0.00 1.07 0.72

time (sec)

N/A 0.194 0.038 0.048 0.455 0.398 0.000 0.621 1.276

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

125 125 146 298 217 176 0 175 335

N.S.

1 1.00 1.17 2.38 1.74 1.41 0.00 1.40 2.68

time (sec)

N/A 0.193 0.047 0.171 0.279 0.357 0.000 0.464 1.596

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

146 146 132 0 0 0 0 0 -1

N.S.

1 1.00 0.90 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.178 0.209 0.029 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 106 287 186 138 0 361 275

N.S.

1 1.00 1.16 3.15 2.04 1.52 0.00 3.97 3.02

time (sec)

N/A 0.112 0.036 0.216 0.261 0.368 0.000 0.476 1.247

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

96 96 99 137 0 0 0 0 -1

N.S.

1 1.00 1.03 1.43 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 0.107 0.194 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

140 140 183 0 0 0 0 0 -1

N.S.

1 1.00 1.31 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.231 0.051 0.026 0.000 0.000 0.000 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

90 90 117 0 0 0 0 0 -1

N.S.

1 1.00 1.30 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.131 0.109 0.029 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F(-1) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 111 257 175 151 0 0 278

N.S.

1 1.00 1.26 2.92 1.99 1.72 0.00 0.00 3.16

time (sec)

N/A 0.120 0.051 0.173 0.285 0.396 0.000 0.000 1.543

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 159 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.191 0.268 0.025 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

231 231 334 0 0 0 0 0 -1

N.S.

1 1.00 1.45 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.367 0.342 0.030 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 185 799 0 0 0 0 -1

N.S.

1 1.00 1.33 5.75 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.208 0.201 0.371 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

130 130 191 280 0 0 0 0 -1

N.S.

1 1.00 1.47 2.15 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.296 0.186 0.263 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

210 210 214 0 0 0 0 0 -1

N.S.

1 1.00 1.02 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.410 0.121 0.027 0.000 0.000 0.000 0.000 0.000

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

120 120 223 0 0 0 0 0 -1

N.S.

1 1.00 1.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.223 0.269 0.026 0.000 0.000 0.000 0.000 0.000

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 218 0 0 0 0 0 -1

N.S.

1 1.00 1.60 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.241 0.190 0.028 0.000 0.000 0.000 0.000 0.000

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 1.388 0.030 0.000 0.000 0.000 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.016 0.843 0.027 0.000 0.000 0.000 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 64 0 0 0 0 0 -1

N.S.

1 1.00 0.86 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.026 0.049 0.027 0.000 0.000 0.000 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 0.347 0.025 0.000 0.000 0.000 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 0.265 0.026 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 67 69 57 48 46 262 45

N.S.

1 1.00 1.34 1.38 1.14 0.96 0.92 5.24 0.90

time (sec)

N/A 0.022 0.010 0.201 0.258 0.350 0.160 0.426 0.779

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 50 71 42 49 49 227 42

N.S.

1 1.00 1.11 1.58 0.93 1.09 1.09 5.04 0.93

time (sec)

N/A 0.022 0.008 0.108 0.251 0.372 0.146 0.440 0.719

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 56 60 44 39 36 130 36

N.S.

1 1.00 1.44 1.54 1.13 1.00 0.92 3.33 0.92

time (sec)

N/A 0.014 0.008 0.124 0.250 0.338 0.118 0.396 0.735

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 29 48 29 35 24 150 27

N.S.

1 1.00 1.00 1.66 1.00 1.21 0.83 5.17 0.93

time (sec)

N/A 0.009 0.004 0.074 0.252 0.345 0.097 0.412 0.679

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 28 63 0 0 0 0 -1

N.S.

1 1.00 0.93 2.10 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.020 0.011 0.107 0.000 0.000 0.000 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

35 35 38 39 37 48 39 87 43

N.S.

1 1.00 1.09 1.11 1.06 1.37 1.11 2.49 1.23

time (sec)

N/A 0.015 0.009 0.095 0.258 0.364 0.300 0.415 0.745

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 60 60 52 46 44 123 49

N.S.

1 1.00 1.40 1.40 1.21 1.07 1.02 2.86 1.14

time (sec)

N/A 0.019 0.008 0.098 0.260 0.342 0.328 0.414 0.709

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 62 62 55 62 68 234 59

N.S.

1 1.00 1.09 1.09 0.96 1.09 1.19 4.11 1.04

time (sec)

N/A 0.031 0.010 0.098 0.262 0.363 0.433 0.418 0.750

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

123 123 131 310 189 149 158 552 142

N.S.

1 1.00 1.07 2.52 1.54 1.21 1.28 4.49 1.15

time (sec)

N/A 0.196 0.060 1.030 0.252 0.344 0.226 0.431 0.892

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

142 142 145 358 0 0 0 0 -1

N.S.

1 1.00 1.02 2.52 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.190 0.219 0.372 0.000 0.000 0.000 0.000 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

83 83 92 271 136 111 104 268 101

N.S.

1 1.00 1.11 3.27 1.64 1.34 1.25 3.23 1.22

time (sec)

N/A 0.115 0.026 0.760 0.264 0.430 0.162 0.423 0.782

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

74 74 97 287 0 0 0 0 -1

N.S.

1 1.00 1.31 3.88 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.082 0.083 0.225 0.000 0.000 0.000 0.000 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

133 133 114 780 0 0 0 0 -1

N.S.

1 1.00 0.86 5.86 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.205 0.066 3.447 0.000 0.000 0.000 0.000 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 101 137 0 0 0 0 -1

N.S.

1 1.00 1.16 1.57 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.094 0.133 0.585 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 119 258 165 130 124 255 235

N.S.

1 1.00 1.37 2.97 1.90 1.49 1.43 2.93 2.70

time (sec)

N/A 0.100 0.038 1.922 0.258 0.347 0.383 0.431 1.284

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 286 1337 0 0 0 0 -1

N.S.

1 1.00 1.41 6.59 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.453 0.451 8.020 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

217 217 316 1915 0 0 0 0 -1

N.S.

1 1.00 1.46 8.82 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.373 0.534 3.789 0.000 0.000 0.000 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

135 135 193 5310 0 0 0 0 -1

N.S.

1 1.00 1.43 39.33 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.248 0.210 3.066 0.000 0.000 0.000 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 198 1732 0 0 0 0 -1

N.S.

1 1.00 1.83 16.04 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.180 0.181 0.713 0.000 0.000 0.000 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

208 208 171 1631 0 0 0 0 -1

N.S.

1 1.00 0.82 7.84 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 0.340 0.126 0.708 0.000 0.000 0.000 0.000 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

126 126 215 280 0 0 0 0 -1

N.S.

1 1.00 1.71 2.22 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.180 0.183 1.398 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

139 139 195 6380 0 0 0 0 -1

N.S.

1 1.00 1.40 45.90 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.200 0.225 5.166 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 73 64 62 53 51 71 66

N.S.

1 1.00 1.35 1.19 1.15 0.98 0.94 1.31 1.22

time (sec)

N/A 0.028 0.013 0.164 0.257 0.335 3.098 0.441 1.010

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 50 65 42 52 75 52 56

N.S.

1 1.00 1.11 1.44 0.93 1.16 1.67 1.16 1.24

time (sec)

N/A 0.023 0.010 0.391 0.252 0.336 2.262 0.424 0.814

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 62 55 49 44 41 162 57

N.S.

1 1.00 1.44 1.28 1.14 1.02 0.95 3.77 1.33

time (sec)

N/A 0.021 0.010 0.210 0.258 0.339 1.677 0.433 0.865

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

34 34 39 52 34 43 61 184 47

N.S.

1 1.00 1.15 1.53 1.00 1.26 1.79 5.41 1.38

time (sec)

N/A 0.012 0.007 0.100 0.254 0.344 1.351 0.429 0.789

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

30 30 28 154 0 0 0 0 -1

N.S.

1 1.00 0.93 5.13 0.00 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.023 0.011 0.126 0.000 0.000 0.000 0.000 0.000

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 42 39 37 55 76 52 56

N.S.

1 1.00 1.14 1.05 1.00 1.49 2.05 1.41 1.51

time (sec)

N/A 0.016 0.009 0.100 0.248 0.357 4.295 0.412 0.842

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

45 45 64 57 56 52 49 66 59

N.S.

1 1.00 1.42 1.27 1.24 1.16 1.09 1.47 1.31

time (sec)

N/A 0.024 0.011 0.111 0.262 0.355 5.820 0.418 0.995

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

57 57 62 45 55 67 94 65 66

N.S.

1 1.00 1.09 0.79 0.96 1.18 1.65 1.14 1.16

time (sec)

N/A 0.026 0.011 0.108 0.258 0.406 8.239 0.413 0.894

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 88 55 62 170 845 67 67

N.S.

1 1.00 1.40 0.87 0.98 2.70 13.41 1.06 1.06

time (sec)

N/A 0.025 0.017 0.226 0.463 0.350 3.781 0.445 0.983

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 86 53 61 162 830 69 65

N.S.

1 1.00 1.41 0.87 1.00 2.66 13.61 1.13 1.07

time (sec)

N/A 0.024 0.014 0.155 0.472 0.354 2.842 0.426 0.895

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

44 44 54 39 51 138 632 57 52

N.S.

1 1.00 1.23 0.89 1.16 3.14 14.36 1.30 1.18

time (sec)

N/A 0.017 0.012 0.118 0.461 0.486 2.098 0.417 0.819

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

46 46 72 47 57 159 886 62 59

N.S.

1 1.00 1.57 1.02 1.24 3.46 19.26 1.35 1.28

time (sec)

N/A 0.021 0.015 0.121 0.456 0.374 3.661 0.427 0.960

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 90 57 64 189 1046 72 69

N.S.

1 1.00 1.38 0.88 0.98 2.91 16.09 1.11 1.06

time (sec)

N/A 0.026 0.022 0.131 0.464 0.425 4.995 0.452 0.992

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

65 65 90 57 65 196 994 74 69

N.S.

1 1.00 1.38 0.88 1.00 3.02 15.29 1.14 1.06

time (sec)

N/A 0.025 0.019 0.128 0.467 0.381 7.132 0.489 1.000

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 104 0 157 126 151 327 247

N.S.

1 1.00 1.11 0.00 1.67 1.34 1.61 3.48 2.63

time (sec)

N/A 0.121 0.041 180.000 0.259 0.420 2.301 0.422 1.209

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 107 6869 0 0 0 0 -1

N.S.

1 1.00 1.14 73.07 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.121 0.096 0.526 0.000 0.000 0.000 0.000 0.000

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

144 144 183 0 0 0 0 0 -1

N.S.

1 1.00 1.27 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.222 0.047 0.064 0.000 0.000 0.000 0.000 0.000

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 114 137 0 0 0 0 -1

N.S.

1 1.00 1.15 1.38 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.101 0.123 0.642 0.000 0.000 0.000 0.000 0.000

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F B A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

97 97 131 0 183 143 172 0 262

N.S.

1 1.00 1.35 0.00 1.89 1.47 1.77 0.00 2.70

time (sec)

N/A 0.103 0.051 180.000 0.264 0.378 6.081 0.000 1.541

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1214 1214 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.926 9.129 0.066 0.000 0.000 0.000 0.000 0.000

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1172 1172 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.555 7.327 0.067 0.000 0.000 0.000 0.000 0.000

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1549 1549 565 0 0 0 0 0 -1

N.S.

1 1.00 0.36 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.606 2.765 0.062 0.000 0.000 0.000 0.000 0.000

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

1117 1117 568 0 0 0 0 0 -1

N.S.

1 1.00 0.51 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 1.530 2.025 0.066 0.000 0.000 0.000 0.000 0.000

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1263 1263 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.054 1.930 0.065 0.000 0.000 0.000 0.000 0.000

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A F F F F F F F

verified

N/A Yes N/A TBD TBD TBD TBD TBD TBD

size

1337 1337 0 0 0 0 0 0 -1

N.S.

1 1.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.00

time (sec)

N/A 2.039 1.952 0.069 0.000 0.000 0.000 0.000 0.000

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 1.903 0.040 0.000 0.000 0.000 0.000 0.000

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.017 1.203 0.039 0.000 0.000 0.000 0.000 0.000

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 68 0 0 0 0 0 -1

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.033 0.051 0.038 0.000 0.000 0.000 0.000 0.000

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.019 0.324 0.036 0.000 0.000 0.000 0.000 0.000

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) A A

verified

N/A N/A N/A TBD TBD TBD TBD TBD TBD

size

21 0 0 0 0 0 0 0 -1

N.S.

1 0.00 0.00 0.00 0.00 0.00 0.00 0.00 -0.05

time (sec)

N/A 0.018 0.464 0.034 0.000 0.000 0.000 0.000 0.000

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

88 88 114 87 86 89 0 359 86

N.S.

1 1.00 1.30 0.99 0.98 1.01 0.00 4.08 0.98

time (sec)

N/A 0.030 0.039 0.065 0.257 0.395 0.000 0.442 1.434

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 101 78 78 80 0 301 58

N.S.

1 1.00 1.35 1.04 1.04 1.07 0.00 4.01 0.77

time (sec)

N/A 0.024 0.040 0.069 0.269 0.355 0.000 0.445 1.217

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 88 69 69 70 0 239 49

N.S.

1 1.00 1.42 1.11 1.11 1.13 0.00 3.85 0.79

time (sec)

N/A 0.019 0.034 0.066 0.259 0.360 0.000 0.453 1.170

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

39 39 42 50 53 56 0 174 32

N.S.

1 1.00 1.08 1.28 1.36 1.44 0.00 4.46 0.82

time (sec)

N/A 0.014 0.107 0.066 0.259 0.466 0.000 0.475 0.901

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 29 63 61 0 0 0 -1

N.S.

1 1.00 1.00 2.17 2.10 0.00 0.00 0.00 -0.03

time (sec)

N/A 0.023 0.024 0.083 0.359 0.000 0.000 0.000 0.000

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 67 62 51 53 231 168 52

N.S.

1 1.00 1.68 1.55 1.28 1.32 5.78 4.20 1.30

time (sec)

N/A 0.018 0.022 0.069 0.260 0.355 3.392 0.432 1.117

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

60 60 86 71 64 64 342 356 61

N.S.

1 1.00 1.43 1.18 1.07 1.07 5.70 5.93 1.02

time (sec)

N/A 0.021 0.021 0.072 0.267 0.375 9.702 0.436 1.363

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 99 80 72 74 371 534 69

N.S.

1 1.00 1.36 1.10 0.99 1.01 5.08 7.32 0.95

time (sec)

N/A 0.023 0.022 0.070 0.262 0.346 25.829 0.444 1.386

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

211 211 224 373 265 273 0 0 453

N.S.

1 1.00 1.06 1.77 1.26 1.29 0.00 0.00 2.15

time (sec)

N/A 0.370 0.075 0.181 0.270 0.393 0.000 0.000 4.867

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

173 173 194 335 241 241 0 0 185

N.S.

1 1.00 1.12 1.94 1.39 1.39 0.00 0.00 1.07

time (sec)

N/A 0.266 0.067 0.180 0.262 0.416 0.000 0.000 1.565

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B A F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

129 129 160 297 215 207 0 0 143

N.S.

1 1.00 1.24 2.30 1.67 1.60 0.00 0.00 1.11

time (sec)

N/A 0.182 0.056 0.180 0.270 0.357 0.000 0.000 1.281

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 115 252 175 165 0 0 94

N.S.

1 1.00 1.35 2.96 2.06 1.94 0.00 0.00 1.11

time (sec)

N/A 0.102 0.039 0.174 0.263 0.361 0.000 0.000 1.058

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A C F F F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

145 145 164 742 0 0 0 0 -1

N.S.

1 1.00 1.13 5.12 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.226 0.059 2.588 0.000 0.000 0.000 0.000 0.000

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B B B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 129 275 174 157 680 0 278

N.S.

1 1.00 1.52 3.24 2.05 1.85 8.00 0.00 3.27

time (sec)

N/A 0.122 0.069 0.109 0.266 0.371 3.471 0.000 1.792

[next] [prev] [prev-tail] [front] [up]